<HTML><HEAD><TITLE>vs_create(?Vars, -VS)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(tentative)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>vs_create(?Vars, -VS)</H1>
Construct a varset from the variables in Vars
<DL>
<DT><EM>Vars</EM></DT>
<DD>A term containing tentative variables
</DD>
<DT><EM>VS</EM></DT>
<DD>Varset (output)
</DD>
</DL>
<H2>Description</H2>

	Create an abstract 'varset' from the tentative variables in a term.
	A varset is an ordered set of variables that can be accessed by
	index, or by their violation properties. Elements are indexed from
	1 to size of the set.
    
<H3>Modes and Determinism</H3><UL>
<LI>vs_create(?, -) is semidet
</UL>
<H3>Fail Conditions</H3>
Vars contains variables without tentative values
<H2>Examples</H2>
<PRE>
    ?- Vars = [_,_,_], tent_set_all(Vars, 99), vs_create(Vars, VS).
    Vars = [Xi{99 -&gt; 0}, Xi{99 -&gt; 0}, Xi{99 -&gt; 0}]
    VS = ...
    Yes (0.00s cpu)
    </PRE>
<H2>See Also</H2>
<A HREF="../../lib/tentative/tent_set-2.html">tent_set / 2</A>, <A HREF="../../lib/tentative/vs_size-2.html">vs_size / 2</A>, <A HREF="../../lib/tentative/vs_element-3.html">vs_element / 3</A>, <A HREF="../../lib/tentative/vs_all-2.html">vs_all / 2</A>, <A HREF="../../lib/tentative/vs_all_violated-2.html">vs_all_violated / 2</A>, <A HREF="../../lib/tentative/vs_all_worst-2.html">vs_all_worst / 2</A>, <A HREF="../../lib/tentative/vs_all_violated_index-2.html">vs_all_violated_index / 2</A>, <A HREF="../../lib/tentative/vs_all_worst_index-2.html">vs_all_worst_index / 2</A>, <A HREF="../../lib/tentative/vs_random-2.html">vs_random / 2</A>, <A HREF="../../lib/tentative/vs_random_violated-2.html">vs_random_violated / 2</A>, <A HREF="../../lib/tentative/vs_random_worst-2.html">vs_random_worst / 2</A>, <A HREF="../../lib/tentative/vs_random_index-2.html">vs_random_index / 2</A>, <A HREF="../../lib/tentative/vs_random_violated_index-2.html">vs_random_violated_index / 2</A>, <A HREF="../../lib/tentative/vs_random_worst_index-2.html">vs_random_worst_index / 2</A>, <A HREF="../../lib/tentative/vs_member-2.html">vs_member / 2</A>, <A HREF="../../lib/tentative/vs_violated-2.html">vs_violated / 2</A>, <A HREF="../../lib/tentative/vs_worst-2.html">vs_worst / 2</A>, <A HREF="../../lib/tentative/vs_violated_index-2.html">vs_violated_index / 2</A>, <A HREF="../../lib/tentative/vs_worst_index-2.html">vs_worst_index / 2</A>
</BODY></HTML>
